Xia, Xin, Gong, Liang, Le, Tien-Duy B., Lo, David, Jiang, Lingxiao, Zhang, Hongyu. Springer US; 2016. Diversity maximization speedup for localizing faults in single-fault and multi-fault programs.